Recognized operators

In order of decreasing precedence.

& and
| or
^ xor
~ not
! not

Enter a logic expression

Truth Table

a	b	c	d	!a & (!b) \| c ^ d
true	true	true	true	true
false	true	true	true	true
true	false	true	true	true
false	false	true	true	true
true	true	false	true	false
false	true	false	true	false
true	false	false	true	true
false	false	false	true	false
true	true	true	false	false
false	true	true	false	false
true	false	true	false	false
false	false	true	false	false
true	true	false	false	true
false	true	false	false	true
true	false	false	false	false
false	false	false	false	true

Abstract Syntax Tree

!

^

|

&
a

!
b

c

d

Symbols

a
b
c
d